/* this header file is a internal header file which is only included by
 * cooperative_groups/details/async.h,
 * so that it doesn't need to be implemented.
 */

